beta :: forall x. F x -> (a -> x)